\varinjlim_{#insertion#}#select#
